source ~/extra/soft/x86_64-riscv64-linux-gnu/env.bashrc 
